Traces in Monoidal Categories
نویسندگان
چکیده
Abstract. This paper contains the construction, examples and properties of a trace and a trace pairing for certain morphisms in a monoidal category with switching isomorphisms. Our construction of the categorical trace is a common generalization of the trace for endomorphisms of dualizable objects in a balanced monoidal category and the trace of nuclear operators on a topological vector space with the approximation property. In a forthcoming paper, applications to the partition function of super-symmetric field theories will be given.
منابع مشابه
From Coalgebraic to Monoidal Traces
The main result of this paper shows how coalgebraic traces, in suitable Kleisli categories, give rise to traced monoidal structure in those Kleisli categories, with finite coproducts as monoidal structure. At the heart of the matter lie partially additive monads inducing partially additive structure in their Kleisli categories. By applying the standard “Int” construction one obtains compact clo...
متن کاملDuality and Traces for Indexed Monoidal Categories
By the Lefschetz fixed point theorem, if an endomorphism of a topological space is fixed-point-free, then its Lefschetz number vanishes. This necessary condition is not usually sufficient, however; for that we need a refinement of the Lefschetz number called the Reidemeister trace. Abstractly, the Lefschetz number is a trace in a symmetric monoidal category, while the Reidemeister trace is a tr...
متن کاملThe Linearity of Traces in Monoidal Categories and Bicategories
We show that in any symmetric monoidal category, if a weight for colimits is absolute, then the resulting colimit of any diagram of dualizable objects is again dualizable. Moreover, in this case, if an endomorphism of the colimit is induced by an endomorphism of the diagram, then its trace can be calculated as a linear combination of traces on the objects in the diagram. The formal nature of th...
متن کاملThe symmetric monoidal closed category of cpo $M$-sets
In this paper, we show that the category of directed complete posets with bottom elements (cpos) endowed with an action of a monoid $M$ on them forms a monoidal category. It is also proved that this category is symmetric closed.
متن کاملTracing the Man in the Middle in Monoidal Categories
Man-in-the-Middle (MM) is not only a ubiquitous attack pattern in security, but also an important paradigm of network computation and economics. Recognizing ongoing MM-attacks is an important security task; modeling MM-interactions is an interesting task for semantics of computation. Traced monoidal categories are a natural framework for MM-modelling, as the trace structure provides a tool to h...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010